Posterior cervical foraminotomy (with our without laminectomy)